home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL19.PRO < prev    next >
Encoding:
Prolog Source  |  1986-10-07  |  295 b   |  17 lines
  1. /* Program 19 */
  2. /*
  3.   The goal to enter is on page 70 of the manual.
  4. */
  5.  
  6. domains
  7.     integerlist = integer*
  8.     namelist    = symbol*
  9.  
  10. predicates
  11.     writelist(integerlist)
  12.     writelist(namelist).
  13.  
  14. clauses
  15.     writelist([]).
  16.     writelist([H|T]) :- write(H," "), writelist(T).
  17.